$\forall$$T$:Type, ${\it as}$, ${\it bs}$:($T$ List), $x$:$T$. ($x$ $\in$ ${\it as}$ @ ${\it bs}$) $\Leftarrow\!\Rightarrow$ ($x$ $\in$ ${\it bs}$ @ ${\it as}$)